1. .....................
پدیدآورنده : Salomaa, Arto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Formal language
رده :
QA
267
.
3
.
S24
2. Automata, languages and programming : Fourth Colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده : edited by Arto Salomaa and Magnue Steinby
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
52
3. Automata, languages and programming : Fourth colloquium, University of Turku, Finland, July 18-22, 1977
پدیدآورنده : edited by Arto Salomaa and Magnus Steinby
کتابخانه: (طهران)
موضوع : Congresses ، Sequential machine theory,Congresses ، Formal languages,Congresses ، Programming languages )Electronic computers(
رده :
QA
267
.
5
.
S4
C63
1977
4. Automata, languages and programming : 15th International Colloquium, Tampere, Finland, July 11-15, 1988 : Proceedings
پدیدآورنده : Timo Lepisto, Arto Salomaa )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
317
5. Automata-theoretic aspects of formal power series
پدیدآورنده : Salomaa, Arto, 4391-
کتابخانه: (طهران)
موضوع : ، Sequential machine theory,، Formal languages,، Power series
رده :
QA
267
.
5
.
S4S29
1978
6. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
7. Computation and automata
پدیدآورنده : Salomaa, Arto
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Computable functions,، Computational complexity,Sequential machine theory
رده :
QA
9
.
59
.
S25
1985
8. Computation and automata
پدیدآورنده : Salomaa, Arto, 4391-
کتابخانه: (طهران)
موضوع : ، Computable functions,، Computational complexity,، Sequential machine theory
رده :
QA
9
.
59
.
S25
9. Cornerstones of undecidability /
پدیدآورنده : Grzegorz Rozenberg and Arto Salomaa
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Decidability (Mathematical logic),Unsolvability (Mathematical logic),équation diophantienne,indécidabilité,Logique,Mathematical logic,récursivité,théorie démonstration
رده :
QA9
.
63
.
R69
1994
10. DNA computing :
پدیدآورنده : by Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Molecular computers.
11. Developments in language theory : 5th International Conference, DLT 2001, Wien, Austria, July 16-21, 2001 : revised papers
پدیدآورنده : Werner Kuich, Grzegorz Rozenberg, Arto Salomaa )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
2295
12. Formal languages
پدیدآورنده : Salomaa, Arto.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
S24
13. Formal languages
پدیدآورنده : Salomaa, Arto
کتابخانه: (طهران)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
S24
14. Formal languages
پدیدآورنده : Arto Salomaa,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Formal languages
رده :
QA
.
S24
267
.
3
1987
15. Formal languages
پدیدآورنده : Salomaa, Arto.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Formal languages
رده :
QA
267
.
3
.
S24
16. Formale Sprachen
پدیدآورنده : von Arto K. Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.
رده :
QA267
.
3
V663
1978
17. Handbook of formal languages. Volume 2, Linear modeling. Background and application
پدیدآورنده : edited by Grzegorz Rozenberg, Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal languages.
رده :
QA267
.
3
E358
2011
18. J. UCS :
پدیدآورنده : Hermann Maurer, Cristian Calude, Arto Salomaa (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Mathematics.,Computer science.,Information technology.
19. L systems
پدیدآورنده : Edited by Grzegorz Rozenberg and Arto Salomaa
کتابخانه: (طهران)
موضوع : ، L systems
رده :
QH
491
.
L2
20. Lindenmayer Systems :
پدیدآورنده : edited by Grzegorz Rozenberg, Arto Salomaa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Software engineering.,Translators (Computer programs)
رده :
T385
.
E358
1992
